Delete marintools.py