Added gcc4.2 to compilers thanks to Marco