OpenETran: fix Firefox export.