use launcher for running crafty as default benchmark