For some reasons this file was not merged in PR #1811