libgmp: remove dependency to libbarrelfish