Now it compiles

Signed-off-by: Cristian Maureira-Fredes <cmaurei@aei.mpg.de>