Work around for weird multiprocessor issue