fixes for debian linux.