Removing the unneeded coral executable.