Add support for RPUSHX and LPUSHX. Update some libraries.