add missing header file
switch #includes in timer.h

this is a quick hack for issue #1