bugfix in device Makefile