timing debugging and makefile tweak