eyenfinger: fixed usb input device to filename conversion