Customize the build script for Travis CI