Lensing is low: cosmology, galaxy formation or new physics?