Update docker file for precise: fix