poke docker to rebuild 12.04 image