Как работать с внешними библиотеками при кросс-компиляции?

Ошибка, потому что вы эхом отдаете объект, поэтому попробуйте сделать это,

while($res = mysqli_fetch_array( $result )) {
    echo $res['AverageSatisfactionScore'];
}