fpu_control.h is no longer used