Wie m4art1n schon sagte, muss die betreffende Datei im Build-Verteichnis liegen. Herunterladen kannst Du sie hier:
https://cds.sun.com/is-bin/INTERSHOP.enfinity/WFS/CDS-CDS_SMI-Site/en_US/-/USD/ViewProductDetail-Start?ProductRef=innotek-1.6-G-F@CDS-CDS_SMI
Als Plattform dann Linux auswählen. Je nachdem was Du benötigst AMD64 oder i386
Das Ganze macht es leider immer etwas umständlich, da VirtualBox so nicht einfach per yaourt -Syu --aur aktualisiert werden kann.