Add a configure option to enable MK.