Update the Ubuntu release number

So apparently Ubuntu bumped their release number to 12.04.5.  I guess
I should really have a regex for this, but instead I just went ahead
and hard-coded the new value in -- I guess because everything is
packaged it should be fine?