wrong size of out_queue_locks in queued_fifo_scheduler.cpp