ControlPanel.js: fix .ui filename for case-sensitive file systems.