Specify encoding for PHP 5.6 with invalid default_charset (fixes #421)