fixup boost random requirement and travis script