Fix including the wrong file name (wrong due to recent file name change)