add hltpu-numForks option