added hasExtension to system library