Fix up random() on msp430