* PUBLIC_KEY is read from  PUBLIC_KEY_FILE and PUBLIC_KEY_FILE is searched with search paths in read_include_node and in init_sync_vars.
redundant file
Merge branch 'shai' of https://github.com/wavesaudio/instl into shai

merge form git hub