Fix issue when a '+' is in the directory (like dolfin-1.2.0+git20131004~ppa2~raring1).