Compilation fixes (Emeric Baveux)