No longer include timestamp in header of .elc files