games/supertuxkart: should PORTREVISION be bumped after pr 154111?

[Barbara]

After the changes described in pr 154111, the irrlicht shared lib file changed 
it's name from libIrrlicht.so.1.7.2 to libIrrlicht.so.1

This is causing:
ldd /usr/local/bin/supertuxkart:
	libIrrlicht.so.1.7.2 => not found (0x0)

Shouldn't games/supertuxkart PORTREVISION be bumped?
FWICS the only other port using irrlicht is games/irrlamb.

Barbara