Change rpm name from device-hal-tc to device-haltests