Added desug files, forgot in last commit