echo "#define RNGSEED_DIR \"$seeddir\""
