Experimentally switch to obspm mirror.