bug fixes for debian