Fix https://github.com/vanadium/build/issues/17
Fix https://github.com/vanadium/build/issues/17

jirix needs an environment with a real PATH.

Change-Id: Ic6408f281bb1b4db0d524de0a1f3a294404a5b80

vanadium/mojo.v23proxy,vanadium/mojo.v23proxy