Fix compilation error on os x