Mobile Menu incompatibility with the AMP plugin

Hi,

I have AMP plugin active on my site and I recently switched to GeneratePress. After I switched to it I realized mobile menu was not working on mobile devices and after a quick search I have found your AMP for GeneratePress add on (https://github.com/tomusborne/amp-for-generatepress). Now the menu itself works but the search feature cannot be enabled. Is there a way to place a search button there?