Singlet night in Feynman-ville: one-loop matching of a real scalar