these are not necessary (even if the linker cares about the timestamp -- I'm not sure if it does).
PR: 11340 Submitted by: Oscar Bonilla <obonilla@fisicc-ufm.edu>