fix forgotten chmod +x on travis build script