Fix build workspace for jenkins