I'm building with tools/buid_and_run.sh and my i2c bus is /dev/i2c-7. How to choose it instead of the default from, I guess, raspberry pi?