Folder for the library file libPHCpack.
