update to Ubuntu 12.04.3