Travis-ci fixes