Close #114: add .dll suffix to -lgmp and -lgmpxx