Eigen: use namelower in source_urls