https://discountedgerberprotectplus.blogspot.com/2022/07/installation-problems-with-healpy.html