removing Shark directory due to name conflicts