oops, forgot to add new files for 4.2