update lab8. Now decaf can find ucore