On Motzei Shabbos we sing "אליהו הנביא וכו' במהרה יבוא אלינו עם משיח בן דוד" - and then possibly we add [depending on the tune] a lot of "ny-ny-nys". Ashkenazim add "ny-ny-nys" to almost every song.
How does this square with the Rambam in Hilchos Melachim [12, 2] that Eliyahu will come BEFORE Moshiach and not with him??