rename some stuff in KompileOptions