https://tongfamily.com/2016/01/09/file-vault-and-el-capitan-upgrades-do-not-get-along/