hacking a build system for 32-bit grub