Fix setup-fimrc.sh