Fixes random.c on x86_64 archs

This is a quick hack - there is likely a better way.