updated the makefiles of the gnublin-tools