188219c
adjust /dev/pts fstab line if broken by installation (#515521), use <lua> scriptlet for deleting files in correct way