Update timestamps of some files during running configure script