setting locale as a string is deprecated in php 5.3