Make dynamic library extension platform-dependent

New syntax is %dynamic "libm" instead of %dynamic "libm.so".