dosbox and inputrc