Registry dirty

These solutions don’t work for me on ARMv7, 32-bit - even going into the General repo and git reset --hard HEAD don’t solve it. It appears that every file has been changed.

Edit: This seems to be a different problem; the error is introduced when a stdlib is added.