ubuntu-12.04: updating with updated sha256sum