Use proper deallocation for FileBuff::_bigbuf

It is a good coding practice to properly deallocate dynamically allocated resources. In particular, dynamically allocated memory for arrays using the array-specific new[] operator is supposed to be deallocated using the array-specific delete[] operator. The deallocation of FileBuff::_bigbuf does not follow this recommendation and should therefore be changed.