fix non-extflonum build