newer(): Better use getmtime(). This ensures compability with Python before 2.3 and probably is more correct anyway.