try fixing travis failure in hafresize