switch to gmdate() instead of date() to avoid the requirement of setting the PHP timezone when determining last modified date of CRL
update CHANGES