Don’t ask why, but now the devkit complains it’s not been installed correctly and refuses to run. Fixing that will be fun…