Working around a limitation in F3's INI parsing