Some fixes for AVX support on CPU

AlexeyAB

2018-08-13 f92b20580a21663c5db9eb8608f8cabd7adbeb10

 src/gettimeofday.c

@@ -1,5 +1,5 @@
#include "gettimeofday.h"
 

int gettimeofday(struct timeval *tv, struct timezone *tz)
{
  FILETIME ft;