@JeanFrancoisViaud could you please remove this file from your commit?