Fix an ordering on the exported GMF

Without that, we could get different files with the same content in different order, by making it difficult to debug differences due to a change of implementation of the export mechanism.