I can no longer see option to export midi. Do I need to do something different?