Can't export MIDI

Hello,

I am trying to set up my Xone K:2. The MIDI setting in RB is pretty limited. However, I thought it'd be possible to do it manually via the export/import function. Guess what, the button for exporting a current MIDI setting does - surprise surpise - nothing, as some people had already suggested on the forum years ago. 

Would it be possible to fix this?

Best regards