fix compilation and promotion (in board .c)