Fixing the elusive CI Ubuntu issue with -lrt?