Removed mutex/sched files, they are handled by gtthread.c