Some issues

Two issues:

1. Can't install the specified branch;
2. Judge need Erlang 17 or not is not correct.
This is an item I fixed earlier and neglected to push (now pushed).  This can be removed.