rying to fix Travis CI configuration