mpconfigport.h is a private, partial header not providing correct settings unless included by py/mpconfig.h.
