Fixing g++ compilation; MAX_INT wasn't defined