..fixed for Ubuntu 12.04