fix grub and pin pip version number