Fix fangorn call to changed file names