bugfix: libraries were not properly written to the .prj file due to different formatting of filenames in the list of source file vs. the dictionary where the corresponding library names are stored