minor compile errors on deb 7