EOS specific VREP plugins