another Makefile update from guenter