Fix `devel` Makefile target