improved some targets of the Makefiles used for debugging and testing
Merge branch 'master' into paging