Release of libdvdcss 1.2.12