Fix random order in the menus in older jekyll versions