Include patched <complex> header for complex<mpf_float> usage