Quick workaround in case others have the same issue: sudo ln -s /usr/share/libctl/ /usr/share/libctl3
Quick workaround in case others have the same issue:
sudo ln -s /usr/share/libctl/ /usr/share/libctl3