scheduler: fix on choice of default launcher