--- src/brutalplayer.cpp.orig 2008-07-19 09:05:57.000000000 +0200 +++ src/brutalplayer.cpp 2008-07-19 09:06:08.000000000 +0200 @@ -12,6 +12,7 @@ #include <vector> #include <time.h> +#include <climits> using namespace std;