Possible fix for Travis-CI config