--- traverso-0.42.0/src/common/fpu.cc	2008-08-26 17:45:54.000000000 +0200
+++ traverso-0.42.0-gil/src/common/fpu.cc	2008-08-26 18:27:10.000000000 +0200
@@ -75,11 +75,12 @@
 	if (cpuflags & (1 << 24)) {
 		
 		char* fxbuf = 0;
+		char** temp = &fxbuf;
 		
 #ifdef NO_POSIX_MEMALIGN
 		if ((fxbuf = (char *) malloc(512)) == 0)
 #else
-		if (posix_memalign ((void**)temp, 16, 512)) 
+		if (posix_memalign ((void**)temp, 16, 512))
 #endif			
 		{
 			printf("FPU() ERROR: cannot allocate 16 byte aligned buffer for h/w feature detection");