Fix deployment script

Fixes #20