libcec and libcec-dev.deb need separate names