Enable BAMBI use of randomseed command-line option