tpt++: fix scons --help
fix error that shouldn't ever happen but seems to anyway