bugfix - PHP_INT_MAX 64int is bigger than Linux Semaphore int 32bit