fix patch to include librt in linux, silence another Eigen warning