fix for Travis CI again