some changes in device.mk