Makefile: better filtering of error messages, do timing report, etc