Update MinotaurInput.h