Replaced RoundShinyButtonDeprecated with RoundPushButton, see #85