#include "license_pbs.h" /* See here for the software license */

int setup_env(const char *filen);