Travis workaround