just some compilation fixes