Changed replaced local hashbang with general one.

The hashbang in this file was specific to a system that I no longer
use, so I replaced it with something more reasonable.