Fix a few more arpack filename changes that were missed in the earlier checkin