abbreviates executable