DOSBox file extensions