make -race happy