fix for debian setup
more debian fixes