DOSBoxGTK frontend for DOSBox