Unofficial RPM packaging of VirtualBox 4.2.8 extension pack