extras: make build_pot better handle user encodings