version bump for grub
provide a patched devtools version