Another small scons fix.