added version 12.04.2 of Ubuntu