adapted debian/* to work with develop branch