Fix #26: suppress same file warnings