Add version identifier for Nvidia PTX.