ghc-head: upgrade to 2014-12-10
mkvtoolnix: fix to find boost lib
dvdauthor: fix building against glibc 2.20

and 2 other patches from redhat