added productions for token installation