partial fix for #5871 - midi-buffer size