Problems with bento 4.1.2 and upgrade to el capitan