GUI buttons/function not available on Arduino 1.8.2/1.8.5

Probably different version of the board package is installed on the two systems.

The special menus like that on the tools menu are defined by the board package.