Hi Snark.

It has been fixed in commit e610d42737, which is posterior to 1.0rc2.

Do you think it could be worth to release a 1.0rc3 ? Would debian package a non-final version ?

(I still have to fix a couple of issues on MacOS, before to send 1.0 into the wild...)