fixing a problem on Ubuntu 13.04