fix patchfs function
do not need to patch /etc/profile for ccache to be enabled by default; add to .bashrc instead