Clean up to make compatible with aletheia 0.0.4
upgrade aletheia to 0.0.4
compile with aletheia 0.0.4