fix time display on some javascript engines (e.g. wheezy)