Fix a type error. Fix the binary build script - #10

Fix a type error. Fix the binary build script#10

vtrofin wants to merge 4 commits into

gaku-sei:maingaku-sei/pyaco:mainfrom

vtrofin:type-fixesvtrofin/pyaco:type-fixesCopy head branch name to clipboard