Cast time to long int for printf
Run auto tools