thanks again, xavier.
i've commented those lines and it seems to work, though usb midi seems to be disabled, too, now (even when commenting line 234). will have to investigate some more... [edit: working now; using just a discovery board, that's why]
best
ub