Fix build on Raspberry Pi

See issue #4142!
Builds fine on v0.8 branch.
Values taken from standalone.gypi.