Use 5.7.16 for i386, since 5.8.8 is x86_64-only