Removing old minikanren file.