removed workaround for travis bug