/* convert.h -- convert from packer internal filenames to local OS */

void convert(char *filename);

extern int pauseflag;
#define PAUSE pauseflag