version bump 0.4.12 now using ubuntu 12.04 as default