fix karma for people with both php and pear karma