minor changes in SharkBuild