fix for --enable-singleprecision