Minor fix for Picodrive installation.