Make scons lint happy