This file should not be ignored ! We provide one