Removed outdated ambertools, since we now have ambermini.