We must not redefine STARPU_NMAXCPUS since it is determined at configure time.

src/drivers/cpu/driver_cpu.h

@@ -28,8 +28,4 @@
 
 void *_starpu_cpu_worker(void *);
 
-#ifndef STARPU_NMAXCPUS
-#define STARPU_NMAXCPUS       4
-#endif
-
 #endif //  __DRIVER_CPU_H__