some modifications to be made to some files of the library