batlab: proper flag to print the version