This is needed to compile cyanogenmod 10 for the fx1 device