Timestamps in .elc files