[PATCH 3/3] openvmtools: add release file and change build options