Fix EXTENSIONDIR bug, #163