···5555 ${if stdenv.hostPlatform.system == "i686-linux" || stdenv.hostPlatform.system == "x86_64-linux" then ''
5656 isoinfo -J -i $src -x /VBoxLinuxAdditions.run > ./VBoxLinuxAdditions.run
5757 chmod 755 ./VBoxLinuxAdditions.run
5858+ # An overflow leads the is-there-enough-space check to fail when there's too much space available, so fake how much space there is
5959+ sed -i 's/\$leftspace/16383/' VBoxLinuxAdditions.run
5860 ./VBoxLinuxAdditions.run --noexec --keep
5961 ''
6062 else throw ("Architecture: "+stdenv.hostPlatform.system+" not supported for VirtualBox guest additions")