Control GPIOs on Up Squared Board

A bit of update: I am able to toggle a GPIO using bash commands:

cd /sys/class/gpio
echo 433 > export
echo out > gpio433
while 1
do  echo 1 > value; sleep 1
echo 0 > value; sleep 1
done

However, I can't a access the same GPIO using MRAA. My hypothesis is that the pinmap is not loaded properly. Indeed, when I run this simple C hello code, I am not able to recognize the board.

#include "mraa.h"
int main(int argc, char** argv)
{
    const char* board_name = mraa_get_platform_name();
    fprintf(stdout, "hello mraa\n Version: %s\n Running on %s\n", mraa_get_version(), board_name);

    mraa_deinit();
    return MRAA_SUCCESS;
}