Allow scripts to read PINOCCHIO_CONFIG