updating apt
updating apt and correcting libgmp-dev package name