fix php fatal error if optional pcntl php extension is not available

fixes #7