Make /bin/settings tolerate a missing version file