pkglocked alias, remove texlife