Issue 1689: short-term hack to make Ubuntu happy
Issue 1689: short-term hack to make Ubuntu happy

andrewyoung1991/scons,timj/scons,andrewyoung1991/scons,andrewyoung1991/scons,timj/scons,timj/scons,andrewyoung1991/scons,andrewyoung1991/scons,andrewyoung1991/scons,andrewyoung1991/scons,andrewyoung1991/scons,timj/scons,timj/scons,timj/scons,andrewyoung1991/scons,timj/scons,timj/scons,timj/scons