fix for Ubuntu 10.04