Make Makefile resilient against unpredictable local environments