Update defines.v