the build scripts generate results/vm-display-null, results/vm-display-X11 etc. Would it be possible to add the *.so extension to all of these in the build script? That would help the debian/ubuntu packaging which is looking for extensions.