Stupid Windows does not allow file names to begin with ``Aux''.
Therefore had to refactor.