Adding RAIDER_src (requires g++ 4.7).