Delete the allocate*TargetMachine functions. Move options to a header file