We switched to using "tilepro" for the 32-bit stuff a while ago,
but missed this one usage.
Signed-off-by: Chris Metcalf <cmetcalf@tilera.com>