Fix that malloc() doesn't return a null pointer for too large allocations#117