Temporary fix for Travis