fix bin/proteus script