Fix (or try!) Travis CI configuration