Patch fixing F27 workstation not working under VirtualBox