Add filename extensions for Lasso