Fix TinySTM build script