For ElCapitan, replace steps 2—4 above by simply downloading this file directly: https://download.videolan.org/libdvdcss/1.2.…