adapt the executables according to the new names