to the input file when autogenerating, and bump. Obvious bug reported by Leonid Bobrov <mazocomp at disroot dot org> on ports@.