Fix a missed header file in the softfloat include install.