The filename `aux` was reserved in the days of DOS, and that proscription has been retained to the present day. This PR therefore renames the recently-created `aux` directory to `misc` so that people can pull this repository on Windows.