remove duplicate header from configuration
Adjust standard library and header paths of gcc4 to follow PM-layout