SOURCES file for compilation of virtualmonitor_wddm