call time-measuring script from makefile