@Dominic
they are pasted into comment #3.
I was able to reproduce this in debian sid with that same file, so have filed a debian bug (waiting for a reply with the bug#)
@Dominic
they are pasted into comment #3.
I was able to reproduce this in debian sid with that same file, so have filed a debian bug (waiting for a reply with the bug#)