fix includes for newest ubuntu