Unneeded header
scons fixes