Add php-64bit package if the php version has 64bit ints, fixes #1506, fixes #1511