push mnemonic fix for gcc