this seems not to work on php 5.3 on travis. it works fine on my machine. strange, any ideas? should we convert to mockery?