Update for correct Ubuntu 12.04 operation