Deleting executables (nothin to do in the repo)