removing tools/el4t
Switching to my own el4t