Make sure trp_gui can pick up TRP header files at the expected PATH