Using genarch.sh to generate arch-specific files

Well, it's only autobuild...