RANDOM PLAYBACK

I am using volumio with Raspberry Pi model B and the wolfson audio card.
I am pretty satisfied. But there is a foundamental thing I am not able to do: Play the whole file library in random order.

I tried select the Music folder in my USB device, and add all to the playlist but the process of playlist creation with many files is very slow and after a while it crashes.

Is there a simple way to play a huge library in random order?

thank you.