Add -ftext-format flag until double-conversion is fixed