--- PKGBUILD.orig	2016-10-21 21:36:45.516496357 -0700
+++ PKGBUILD	2016-10-21 21:37:39.666829057 -0700
@@ -331,6 +331,7 @@
         "$pkgdir/usr/lib/xorg/modules/drivers/vboxvideo.so"
     install -d "$pkgdir/usr/lib/xorg/modules/dri"
     install -m755 VBoxOGL*.so "$pkgdir/usr/lib"
+    install -m755 VBoxEGL.so "$pkgdir/usr/lib"
     ln -s /usr/lib/VBoxOGL.so "$pkgdir/usr/lib/xorg/modules/dri/vboxvideo_dri.so"
     install -m755 -D pam_vbox.so "$pkgdir/usr/lib/security/pam_vbox.so"
     popd