Merge pull request #3556 from DigitalPebble/3940

Missing dependency prevents Storm from being built, fixes #3940