fix encoding problems with argtoolbox.