/etc/profile.local twice on 9.3?

This feels like a faq as google turned up some references to 9.0 and 9.1 but I couldn't find an answer... Extending the path wth a simple export PATH=$PATH:/whatever in the /etc/profile.local extends the path twice? Is there a preferred simple way of adding a path for all users that works cleanly? Regards Matt linux noobie matthurd@acm.org