issue #1733: Marmalade ok.