fix for Travis-CI