Issue #172: fix for batlab build