Sorry for my late reply!
I had a brief look on RtMidi and it seems quite superior to the "standard solution", so if it’s feasible, it has my vote! 
” title=”Wink” />
Also let me know if I can help you by testing or anything else. I quite a few Linux machines lying around anyway, on which a plan to use ctrlr.
EDIT: BTW: have you considered using jack for midi on linux?