Update docker file for precise: add some utilities