Change the gmp mirror so that when you try to build a jbigi.jar it does not fail. Can be changed back by editing core/c/jbigi/download_gmp.sh