libgmp: update to latest and fix mk-file for it

Update to version 5.1.3 and modifiy mk-file to make it compile