Update doctrine to 2.4.2 in 3rdparty