I don't know of any outstanding issues except the GMP issue with some combinations of hardware and CFLAGS setting. Although we recommend not using CFLAGS, that could be addressed with a note. -- Bruce