aquaveo/dev: links for virtualbox-sdk