This problem was fixed. The fix is included in:
Check Point recommends to always upgrade to the most recent version.