move aletheia to devDependencies