a little workaround for Marmalade support