fix filenames in debian/{install,links}