inotool depends on files in /usr/local/share/arduino
must some files be copied over manually from the 1.5.5 source tree ?