Travis workarounds