Introduce libgmp3c2 package that is missing on *buntu >= 13.04