It was realized that there is a script which references the old boost pretty printers repo. We should update the script https://github.com/mongodb/server-workflow-tool/blob/0f19b37c9f593dc7e7c8b614083c872c1b14e333/virtual_workstation_setup.sh#L315  to point to the new fork we have which supports boost printers which work with the latest gdb.

https://github.com/mongodb-forks/Boost-Pretty-Printer