remove --debug option, exclude counterfpga
add debugging mode in counter examples