Try a build fix for Travis-CI