fix NFC
picked from http://review.cyanogenmod.org/#/c/33101/1/cm.mk