Installation Issue (Execution of Example)

[code-raccoon]

When following the Quick Start installation guide [1], I get following error at the final step (Step 8):

Running smallexample_minizinc.mzn 109msec

smallexample_minizinc_o:33.48-193: MiniZinc: type error: no function or predicate with this signature found: 
`weighted_sum(array[int] of var bool,int,int,array[int] of int)'

Cannot use the following functions or predicates with the same identifier: 
function var int : weighted_sum(array [int] of var bool: b,int: nScs,int: k,array [int] of int: weights,int: amplifier); 
(requires 5 arguments, but 4 given)

Process finished with non-zero exit code 1.
Finished in 109msec.

The compilation of the preference model (step 7) works without any issues though.

I already tried a clean re-install on different systems, but the same error consistently occured.

Any ideas?