Minix1.5/commands/patch/patchlevel.h

#define PATCHLEVEL 12