re-fix tilde expansion?