A fix for CI Ubuntu version -lrt issue?