Thanks for the reply Kevin. I have filed a bug FB16524420 with necessary reports. I have discovered yesterday that if I turn off the SIP, the problem goes away. Hope that helps.