some small compilation fixes