Some issues

Two issues:

1. Can't install the specified branch;
2. Judge need Erlang 17 or not is not correct.