There is a problem listing midi ports

Hello guys,

we are going to investigate the problem!