Makefile fixes for Garching