fixed compilation (included ctime in precomp.hpp)