Use new crank0.7 dispatching options