even more amending (github4win needs this option)