post_install() {
echo "You need to add the installed module (/usr/lib/bit4id/libbit4xpki.so) to each program that needs to access the smart card."
}