I’ll give it a try. So far I followed these instructions 3, which are supposed to be “great for embedded devices like the Raspberry Pi”.
Is that build gide a replacement for the quickstart instructions or is it something that needs to be done in addition to the quickstart setup?