Rename details to details.cpp