* Use 0.5.3 of crafty