Use PHP's constant for the directory separator where suitable.