Fix definition of library file