delete obsolete hsqldb files