#128: unused file removed.