device.mk: fix