abctool has moved to github: <a href=https://github.com/attejensen/abctool>https://github.com/attejensen/abctool</a>