Adjusted package-archives to use https marmalade