Fix indent problem in debian/rules
Merge branch 'release/0.4.7'