I know that there is an easier (more debian) way to do the automatic eth configuring on boot. I'd really look into that interfaces file as it allows for many different scenerios including pump, dhcp, and manual configuration.