Fix build on Raspberry Pi

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