My minimal reproducible example of an error that crops up with using pintool and boost's filtering_stream