fix make check-abcipp
and make clippy-abcipp
#869
Merged
make check-abcipp
and make clippy-abcipp
#869