workaround for scheduler segfault, will push permanent fix later