fix Ubuntu 10.12