updates flxrandom and flxarrayutil for the pull request; please see comment