[#514] Trying to fix travis