(iOS) Use fill_pathname_join in iOS/menu.m