Compilation fixes under debian