aux is an invalid filename in windows.