use right flavor for stackmonkey-instance, Fixes #25