isabelle: 2013 -> 2014, plus add darwin support