Update libext.pp