fix inlining, restore flxcolorutil's random function