Fix up /dev/build which should really have ever worked, but used to