fixed an error in the nightly build on ubuntu10.04 and debian6.0.1