Fix device.mk