Encountered 3 file(s) that should have been pointers, but weren’t

Try the following command sequence: In case if this is not working (because this was not working for me), the following hack may work: More info: https://stackoverflow.com/a/54804224/4758602