Fork of gecko-def for porting OdinMonkey to MIPS