laditools: removed; broken and unmaintained, feel free to fix it.