fixed compilation bug on Mac, again...