LinPhone notifications don't work in the background without proprietary Google GCM

This app doesn't stay open in the background without GCM (propriety google push notifications).

A fix to this has been suggested, tested, and is known to work. Unfortunately, this fix requires the user to recompile the app. https://github.com/BelledonneCommunications/linphone-android/issues/55?_pjax=%23js-repo-pjax-container#issuecomment-333470495

So, how does F-Droid handle this situation? Just wait for LinPhone to make this an option within the app, as was suggested by me here? https://github.com/BelledonneCommunications/linphone-android/issues/55?_pjax=%23js-repo-pjax-container#issuecomment-350529137

Or would F-Droid ever decide to push two versions of the same app, one that works with GCM and one that works without it? I'm assuming publishing only the version that works without GCM isn't preferable because it would cause battery life problems for users that download it and still have GCM.