src/minisketch/build-aux