Rename test files, fix non-standard library include.