Update storm-0.9.0.1, fix deb scripts