Added gcc47 port