Fix configure+make build of profile runtime library