Update to new precise boxes; clarify Ubuntu version