Fix #130, removed github tests and demotests