Thanks for the reply. I am using the PHP that shipped with Jaguar (4.1.2). I didn't think it was necessary to go through the pain of installing an update with the command line interface. Maybe I was wrong.
Anyway, I found that I can change a similar "AddType" line in the httpd.config file and...