Fix boxlib on Safari.