Small changes in device.mk