libdvdcss: version bumped to 1.2.13.