Update stdlib.cf