Try Ishq's fix for travis