Small change for dosbox installation