Hello, could somebody explain what are the technical reasons for not allowing ports to choose if they want to use standard headers provided by GCC? Many times I've seen on this mailing list that 'overriding USER_H is a brain-damaged feature' without explanation *how* it is brain-damaged. Thanks in advance, Laurynas Biveinis