rename executables

These names better describe what they do.