Fix SMACK3

Change-Id: I89e0e8085505c6851c0ac1da40ba65c73659812c
Signed-off-by: Manuel Bachmann <manuel.bachmann@open.eurogiciel.org>