Correctly name xenon executable