Correct determination of OBF_MILESTONE