#!/usr/bin/env bash
TMP=$(mktemp -d)
NAME=$(basename "${1}" .pdf)
FIXED="${TMP}/${NAME}-fixed.pdf"
pdftops "${1}" - | ps2pdf12 - "${FIXED}"
echo "${FIXED}"