Use leya by default on mac again