Update lib/util.php

Different OS' need different locale names. Just checking for "en_US.UTF-8" is not sufficient (e.g. on Windows).