update to ubuntu 14.04
more 14.04 refinements