Test commit, to see whether dir 'workspace' is not used anymore