Libc++ fixes
Hopefully last set of fixes needed in order to get ALT working with libc++ (except missing functionality regarding three-way comparison).
Dear students,
don't forget to backup your repositories or set them to public before your final examinations, as you might loose access shortly after.
Hopefully last set of fixes needed in order to get ALT working with libc++ (except missing functionality regarding three-way comparison).