The scons thing seems to be fixed