Port Dosbox to NaCl/Pepper