fixing Travis CI issues