Avoid issues with Travis-CI