3rd attempt to fix Travis CI builds