Delete restx.xqm~