Fix build glue for Fedora 17 #3543