Fixing the elusive CI Ubuntu issue with -lrt pt 2?