Remove openrave dependency in some files