Hotfix for travis