update to ubuntu-12.04.5