update to ubuntu-12.04.3