Templates now point to the new location of the stdlib (libraries/).