Amended path to problems_1.erl, no such github page, link to repo.