Deleting old directory that isn't being used.

Files named aux.* are apparently bad news for Windows
(the repository can't even be cloned)