fix a bug on Ubuntu 10.04