build system: Update Travis CI build file