# Unfortunately, GOB's output filenames depend on the contents of the gob file,
# rather than its filename. This isn't really suitable for use with make, so
# Unfortunately, GOB's output filenames depend on the contents of the gob file,
# rather than its filename. This isn't really suitable for use with make, so