I don't know. Maybe doing a dir /x outside DOSBox will show you the short filename (if applicable). Anyway, just because ms-dos only used 8.3 filenames, I recommend you naming your ms-dos folders using that naming convention.