make check_timestamp work across different locales