Fix a bug where including padic_polyxx.h and qadicxx.h would not compile