Disabling pipelining per default (since buggy)