Fix linux compilation by adding a "const"