for Ubuntu 12.10 and 13.04