Move stub files from stdlib