dvdnav.patch: detect the presence of gettimeofday() and activate the replacement...