Hi,

Pushed as

185c32511a * master gnu: python-pymarshal: Fix build.
ed5f50122f * gnu: python-mido: Fix build.

to master.

--
Oleg