Fixing travis + prove