Explicit file extension.