re-added some dev tools