documentation: minor fix to px4 build instructions (tridge please check)