This fixes a few issues I had with the machine-generated file. Nothing
serious, as it's mostly from me using a pathname instead of running in the
same directory where the source .wb is.