GCC: Fix the lib64 issue

Fixes #416.

This works for me. @jcftang would you mind testing that this still works for you?