small fixes for Travis CI