Here’s the Marmalade forum discussion about the problem: https://answers.madewithmarmalade.com/questions/25466/invalid-segment-alignment-after-uploading-binary-t.html After they posted a fix I asked if the problem was linker related, and it seems it was.