This should ensure that python produces the same tools.pot for every user, and thus that the .po will not get useless diffs upon merge.