Extreme hacky workaround for travis mirror problem