just let travis use latest mri if possible