That's a bug. It should say something closer to "The filename AUX.H is a reserved filename and can not be used by this system"
This file name is reserved for use by Windows. Choose another name and try again.
https://pbs.twimg.com/media/DrEsBhgUUAACZga.jpg
The disk full message is different, so my money is on an oddly formatted disk.