Make crab3 default.