Rename w32_num_mouse_buttons from Vw32_num_mouse_buttons.