See this file in the Coin repository.
