machine: fix missing #include in InputManager.cc