make boost random work with version less than 1.47