Copy the *.non-ubuntu files to lib/. Closes #6414.