Adding stuff for debian