Get rid of PICOSAT_IMPORTED global