grub-efi : fix installdev script