modify Travis CI config -- actually build our source