Prevent double-tap-to-zoom on mobile, fixes #5