It looks like shrinkfile worked as I can see all the expected size from sys.database_files and sqlperf(logspace). But the actual size of the logfile still keeps the same physical size...