// fix menu_welcome issue when exporting sources