[archimedes]: Fixed somehow missing import