PANDORA: Fix to make -fsingle-precision-constant works