[rwth-security] Really fixing getrandom()