#include "linux_helper.h"

char* sdcard_filename = 0;