[SDLPoP] Fixed FTBFS for F32+