Fix INT_BUF_SIZE to work with 32-bit and 64-bit
Merge pull request #411 from dhylands/pfenv-64-bit

Fix INT_BUF_SIZE to work with 32-bit and 64-bit