added ctime header for clock() and CLOCKS_PER_SEC