Changing the default scheduler