Delete ext_lib.pp