#11: omit pr2eus_openrave from build test because it takes long time...