[PATCH 2/3] Makefile: allow creating DEVEL builds