Support for building RV32 tools