[ps2,terminal_usb] Quick fix for build problem