filenames in dotsie.sh