What is the correct way to include the file “time.inc” ?