Remove git-core, which should already be installed.  Changed libgmp stuff for 14.04.