Aha, when checking out the latest alpha version of DeepSpeech (with the updated native_client/BUILD) it’s compiling properly. Thanks.
The only reason I had downgraded to 0.5.1 is because I got compatibility errors with the latest pre-built acoustic model (see here for example). But that’s somehow no longer a problem now.