On Mon, Jun 16, 2014 at 7:15 AM, Frerich Raabe <raabe@froglogic.com> wrote:
There is no file named 'AUX' though, and "Aux.hs" is a valid filename.

You do know that Windows filenames are not case sensitive?

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net