Sorry, I was wron with "pnm2ppa" and "min12xxw". They errored here because they were broken in my installation. So this bug is indeed fixed by doing the steps described in my initial posting.
Sorry, I was wron with "pnm2ppa" and "min12xxw". They errored here because they were broken in my installation. So this bug is indeed fixed by doing the steps described in my initial posting.