FIX: issue #518 (Double file extensions on dynamic libs)