Fix a fedoraism
(cherry picked from commit 0672df73292fff5d58ab0c3a02adce0e14ecfb6f)
Make debian happier
(cherry picked from commit eb52c44c0ce952817ff48821d037eaa6d93cd7c1)