buildprefix_push
void buildprefix_push(const char *);
BUILDPREFIX filename { buildprefix_push($2); }
| BUILDPREFIX WORD { buildprefix_push($2); }