do not interpret FlexibleSUSY version as number