time: include stdio, needed on newer GCC