Correct names for executable files.

Signed-off-by: Alevtina Glonina <alevtina@lvk.cs.msu.su>