GitLab

Not exactly sure what's going on but somehow ld includes additional sections resulting in a lower binary. The clean fix is probably a real linker script, but we have two workarounds in the forum as well: https://moodle.mpi-sws.org/mod/forum/discuss.php?d=507