fixed issue with numprocs = 0 in Launcher