Changing to seqan version 1.4.2 instead of r14774.