fix PS2_control.v