Fixes for Travis-CI