ike: also specify lib64 libs