bugfix in debian package post install