fix for building on Raspberry Pi

2 line change to get relic-toolkit to build on the Raspberry Pi (Raspbian with stock kernel) correctly