added dependencies to zipperposition-0.2