option/install: fixes a type error; #412;
updates version