debian/ deleted to prepare for proper packaging