Fix for #PyDev-125: OutOfMemoryError with large binary file.