Temporary fix for travis