This patch is needed for mingw to define srandom