Same as build-elf32.sh