gpstk_builder.py: close file handle before copying