.LIBRARY file extension