Fixing for Ubuntu 12.04.