Make sure to print the BN counting (BN_COUNT) to stderr instead of