serf: make sure compiler choice is respected