Remove old Travis workaround now fixed properly