locale set in PHP script as well as in .bashrc