ubuntu 12.04.4 revision