Fixes #4. Now works with 32-bit PHP