. ${base_dir}/jinx-config
export VINIX_PROD=no
export CFLAGS="$CFLAGS -g"
