adding manual device selection to rodinia