workaround shntool retardness. Fixes #21

Change-Id: I0b229af4621a1f87f307af37403b09bd5b6cbb2f