verpeteren compilation on macbook 2018 is working again

Latest commit f514e57

May 20, 2018