make exec work in firefox; closes #37