Fixup PUSH by adding profile, returning error.
[melted] / src / melted / gpl