scons: oops, I did it again. Sorry for the broken stuff.