Fix fedora armhf

Signed-off-by: Stéphane Graber <stgraber@ubuntu.com>