fix one error in validns, run validns on all platforms