fix Travis CI testing