Yes it's correct. darwin library is the mini robotis framework and does not have any dependency to Webots.