Fixed get_share_file_name() for installed yosys